Optimal Petri-Net Controller for Avoiding Collisions in a Class of Automated Guided Vehicle Systems | IEEE Journals & Magazine | IEEE Xplore